un is a group under multiplication